The Sheaf - PDFSEARCH.IO - Document Search Engine

The Sheaf
Results: 405

#	Item
321	The Geometry and Topology of Orientifolds II Dan Freed University of Texas at Austin May 21, 2009 Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2009-05-21 23:23:19 Algebraic topology Homotopy theory Homological algebra Sheaf theory Category theory Groupoid Cohomology Covering space Atiyah–Singer index theorem Abstract algebra Topology Mathematics
322	The unfolding of general Petri nets Jonathan Hayman Glynn Winskel Computer Laboratory, University of Cambridge, England Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-07-22 10:38:14 Mathematics Petri net Adjoint functors Pullback Morphism Functor Sheaf Category Subcategory Abstract algebra Category theory Algebra
323	On the expressivity of symmetry in event structures∗ Sam Staton and Glynn Winskel Computer Laboratory, University of Cambridge Abstract—This paper establishes a bridge between presheaf models for concurrency and the Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-05 11:49:01 Sheaf theory Functors Adjoint functors Algebraic topology Sheaf Equivalence relation Topos Equivalence of categories Grothendieck topology Category theory Abstract algebra Mathematics
324	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
325	Riemann Surfaces This course on Riemann surfaces assumes that the reader is familiar with sheaf theory. 1 Add to Reading List Source URL: www.math.rug.nl Language: English - Date: 2004-04-19 07:18:04 Algebraic topology Modular forms Homotopy theory Riemann surfaces Group theory Covering space Modular curve Fuchsian group Valuation Abstract algebra Mathematics Topology
326	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Containment in Rule-Based Models C. D. Thompson-Walsh, J. Hayman1 , G. Wi Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-21 13:13:03 Morphisms Category theory Category Natural transformation Dual Homomorphism Structure Sheaf Zero morphism Abstract algebra Mathematics Algebra
327	Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets∗ Jonathan Hayman and Glynn Winskel Computer Lab Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-13 05:59:01 Category theory Algebraic topology General topology Adjoint functors Pullback Petri net Sheaf Universal property Functor Topology Abstract algebra Mathematics
328	An Introduction to K-theory Eric M. Friedlander∗ Department of Mathematics, Northwestern University, Evanston, USA Lectures given at the School on Algebraic K-theory and its Applications Add to Reading List Source URL: users.ictp.it Language: English - Date: 2008-10-13 08:39:11 Algebraic topology Algebraic geometry Homological algebra K-theory Differential topology Algebraic K-theory Grothendieck group Vector bundle Sheaf Abstract algebra Algebra Topology
329	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
330	KRULL-REMAK-SCHMIDT CATEGORIES AND PROJECTIVE COVERS HENNING KRAUSE 1. Additive categories and the radical 1.1. Products and coproducts. Let A be a category. A product of a family Add to Reading List Source URL: www.math.uni-bielefeld.de Language: English - Date: 2012-05-21 19:50:48 Homological algebra Additive categories Module theory Algebraic topology Initial and terminal objects Abelian category Projective cover Sheaf Epimorphism Abstract algebra Category theory Algebra

UPDATE